$\forall$$p$:FinProbSpace, $P$, $Q$:(($\mathbb{N}\rightarrow$Outcome)$\rightarrow\mathbb{P}$).
\\[0ex]($\forall$$s$:($\mathbb{N}\rightarrow$Outcome). $Q$($s$) $\Rightarrow$ $P$($s$)) $\Rightarrow$ nullset($p$;$P$) $\Rightarrow$ nullset($p$;$Q$)